// re2c $INPUT -o $OUTPUT 
/*!re2c
	"a"{0} {}
*/

/*!re2c
	"a"{1} {}
*/

/*!re2c
	"a"{3} {}
*/

/*!re2c
	"a"{0,} {}
*/

/*!re2c
	"a"{1,} {}
*/

/*!re2c
	"a"{3,} {}
*/

/*!re2c
	"a"{0,0} {}
*/

/*!re2c
	"a"{0,1} {}
*/

/*!re2c
	"a"{1,1} {}
*/

/*!re2c
	"a"{2,5} {}
*/

/*!re2c
	"a"{5,5} {}
*/
